Skip to content

Conversation

QuantamHD
Copy link
Collaborator

The dff flag passed to abc appears to cause non-determinism in the generated netlist.

@QuantamHD QuantamHD requested a review from nanavati February 11, 2022 18:41
@mithro
Copy link
Member

mithro commented Feb 12, 2022

I think this needs an associated github issue tracking what would need to change for -dff to be readded?

@mithro
Copy link
Member

mithro commented Feb 14, 2022

If possible it would be great to have a test which verifies everything now stays deterministic. Don't know how hard that would be?

@ted-xie
Copy link

ted-xie commented Mar 30, 2022

This seems more like an ABC bug than anything else. For repro, I think you can just synthesize the same RTL a bunch of times, and you can check if all of the output netlists are identical.

The dff flag passed to abc appears to cause non-determinism in the generated netlist.
@mithro mithro force-pushed the fix_nondeterminisic_synth branch from 3163acd to c3ee629 Compare December 19, 2023 04:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants